package procilege.impl.formatter;

import procilege.compute.ExprFormatTraveller;
import procilege.compute.PlaceTypeMetadata;
import procilege.compute.PlaceType;
import procilege.impl.LocalNameImpl;

@PlaceTypeMetadata(type = LocalNameImpl.class)
public class LocalNameFormatter implements PlaceType<ExprFormatTraveller> {

	public void visit(ExprFormatTraveller tr, Object place) {

		LocalNameImpl local = (LocalNameImpl) place;

		StringBuilder sb = tr.getBuilder();

		sb.append('v');
		sb.append(local.sn);
	}
}